Skip to content

Add Sakibul to the bors team #2011

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Oct 9, 2025
Merged

Add Sakibul to the bors team #2011

merged 1 commit into from
Oct 9, 2025
+2 −0

Conversation

Kobzol
Copy link
Member

@Kobzol Kobzol commented Oct 5, 2025 •
edited
Loading

@Sakib25800 made a lot of great contributions to the new bors implementation in the recent months, as part of his GSoC project. He also continues contributing to the bors bot even after the project has already ended. We would like to recognize his contributions and make him na official member of the bors team. Welcome, Sakibul! 🎉

@Kobzol Kobzol force-pushed the sakibul-bors-team branch 2 times, most recently from 596f278 to 864b74c Compare October 5, 2025 11:58
@Kobzol Kobzol force-pushed the sakibul-bors-team branch from 864b74c to 5a3e5b6 Compare October 5, 2025 11:59
@Kobzol Kobzol requested a review from Mark-Simulacrum October 5, 2025 12:02
@jieyouxu jieyouxu added needs-team-repo-admin-review This change requires one of the `team-repo-admins` to review. needs-team-lead-review This change requires a team/WG/PG lead to review. S-waiting-on-team Status: waiting on team labels Oct 5, 2025
@github-actions GitHub Actions
Copy link

github-actions bot commented Oct 5, 2025

Dry-run check results 

[WARN  sync_team] sync-team is running in dry mode, no changes will be applied.
[INFO  sync_team] synchronizing github
[INFO  sync_team] 💻 Team Diffs:
    📝 Editing team 'rust-lang/all':
      Adding member 'Sakib25800' with member role
    📝 Editing team 'rust-lang/infra-bors':
      Adding member 'Sakib25800' with member role

@Mark-Simulacrum Mark-Simulacrum added this pull request to the merge queue Oct 9, 2025
Merged via the queue into rust-lang:master with commit 13127e3 Oct 9, 2025
3 checks passed
@Kobzol Kobzol deleted the sakibul-bors-team branch October 9, 2025 11:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Mark-Simulacrum Mark-Simulacrum Mark-Simulacrum approved these changes

Assignees
No one assigned
Labels
needs-team-lead-review This change requires a team/WG/PG lead to review. needs-team-repo-admin-review This change requires one of the `team-repo-admins` to review. S-waiting-on-team Status: waiting on team
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@Kobzol @Mark-Simulacrum @jieyouxu